To explore the extent of embeddability of Leibnizian infinitesimal calculus in first-order logic (FOL) and modern frameworks, we propose to set aside ontological issues and focus on pro- cedural questions. This would enable an account of Leibnizian procedures in a framework limited to FOL with a small number of additional ingredients such as the relation of infinite proximity. If, as we argue here, first order logic is indeed suitable for developing modern proxies for the inferential moves found in Leibnizian infinitesimal (...) calculus, then modern infinitesimal frameworks are more appropriate to interpreting Leibnizian infinitesimal calculus than modern Weierstrassian ones. (shrink)

Significant disagreement remains in ethics about the duties we have towards wild animals. This paper aims to mediate those disagreements by exploring how they are supported by, or diverge from, the common-sense ethical principles of non-maleficence, beneficence, autonomy and justice popular in medical ethics. We argue that these principles do not clearly justify traditional conservation or a ‘hands-off ’ approach to wild-animal welfare; instead, they support natural negative duties to reduce the harms that we cause as well as natural positive (...) duties to promote the welfare of wild animals. (shrink)

In this paper, we give a flavour of how, against the odds, Reggio-Emilia-inspired pedagogical documentation can work in reconceptualizing environmental education, reconfiguring child subjectivity and provoking an ontological shift from autopoiesis to sympoiesis in teacher education. Working posthuman(e)ly and transdisciplinarily across three foundation phase teacher education courses at a university in South Africa, we situate our teaching within current environmental precarities. We show how we stirred up trouble in and outside our university classroom and provoked our students to “make kin” (...) with children, each other, other animals, and the more-than-human, but also to stay with the trouble, that is, to learn to be truly present in colonized spaces. (shrink)

When blame is understood to be emotion-based or affective, its emotional tone is standardly identified as one of anger. We argue that this conception of affective blame is overly restrictive. By attending to cases of blame that emerge against a background of a particular kind of hope invested in others, we identify a blaming response characterized not by anger but by sadness: reactive disappointment. We develop an account of reactive disappointment as affective blame, maintaining that while angry blame and disappointed (...) blame are both condemnatory responses, they have distinct evaluative foci and occupy different but complementary roles in our accountability practices. (shrink)

The amount of realist positions put forward by philosophers of religion and theologians is impressive. one can certainly doubt whether there is a need for yet another alternative. However, most realist positions employed in studies on religion fall prey to Hilary Putnam’s criticism against metaphysical realism. This gives rise to a dilemma that I aim at solving by introducing yet another realist position, namely non-metaphysical realism.

Since the dawn of philosophy, the paradoxical interconnection between the continuous and the discrete plays a central rôle in attempts to understand the ontology of the world, while defying all attempts at consistent formulation. I investigate the relation between (classical) logic and concepts of “space” and “time” in physical and metaphysical theories, starting with the Greeks. An important part of my research consists in exploring the strong connections between paradoxes as they appear and are dealt with in ancient philosophy, and (...) their re-appearance in early modern natural philosophy, as well as in the foundations of contemporary science and mathematics. The way paradoxes are dealt with sheds light on a theory’s hidden metaphysical assumptions, especially with respect to matter, space, time and causation, it defines its ontological signature. This conclusion led me to the in-depth study of early modern natural philosophy, the origin of natural science, especially the influences ancient thinkers had on the new conceptions of space, time and causation developed by Newton, Huygens and Leibniz. (shrink)

We investigate the structure common to causal theories that attempt to explain a (part of) the world. Causality implies conservation of identity, itself a far from simple notion. It imposes strong demands on the universalizing power of the theories concerned. These demands are often met by the introduction of a metalevel which encompasses the notions of 'system' and 'lawful behaviour'. In classical mechanics, the division between universal and particular leaves its traces in the separate treatment of cinematics and dynamics. This (...) analysis is applied to the mechanical theories of Newton and Leibniz, with some surprising results. (shrink)

Our concern in the following pages will be the ontology of the relation between living beings (especially, but not exclusively, humans) and the technological artefacts of our late-industrial society. The theme is not new, but important in the context of the emergence and globalisation of so called “post- modern” society. The eventual originality of the present contribution is to be situated in its interpretative framework, i.e., a specific conception of reality's deep ontology, overlooked in general exactly because of the “technological” (...) structure impressed since centuries upon our ways of perceiving of and reasoning about the world. I refer to this neglected but fundamental characteristic of reality as its ontological paradoxicality. (shrink)

Because we tend to study fight books in isolation, we often forget how difficult it is to understand the precise place they occupy in the sociocultural and historical fabric of their time, and spill the many clues they inevitably contain on their owner, their local society, their precise purpose. In order to unlock that information, we need to study them in their broader sociocultural and historical context. This requires a background and research skills that are not always easily accessible to (...) everyone. To illustrate the point, in this paper I show in some detail what is required to make sense of the claim that Aristotelian philosophy and science influenced the medieval fight books in relevant ways, and that understanding this influence helps us to better understand the fight books per se. I give an outline of the general historical framework, and apply it to a testcase: Talhoffer’s Thott 290 2° Ms., with some interesting results. My hope is that this framework may be of some use to other researchers in HEMA Studies who want to dig deeper in sources of interest to them. (shrink)

Translation based on: Y. Katz, Noam Chomsky on Where Artificial Intelligence Went Wrong, The Atlantic, November 1, 2012.

In this essay I propose a new measure of social welfare. It captures the intuitive idea that quantity, quality, and equality of individual welfare all matter for social welfare. More precisely, it satisfies six conditions: Equivalence, Dominance, Quality, Strict Monotonicity, Equality and Asymmetry. These state that i) populations equivalent in individual welfare are equal in social welfare; ii) a population that dominates another in individual welfare is better; iii) a population that has a higher average welfare than another population is (...) better, other things being equal; iv) the addition of a well-faring individual makes a population better, whereas the addition of an ill-faring individual makes a population worse; v) a population that has a higher degree of equality than another population is better, other things being equal; and vi) individual illfare matters more for social welfare than individual welfare. By satisfying the six conditions, the measure improves on previously proposed measures, such as the utilitarian Total and Average measures, as well as different kinds of Prioritarian measures. (shrink)

It will be shown in this article that an ontological approach for some problems related to the interpretation of Quantum Mechanics (QM) could emerge from a re-evaluation of the main paradox of early Greek thought: the paradox of Being and non-Being, and the solutions presented to it by Plato and Aristotle. More well known are the derivative paradoxes of Zeno: the paradox of motion and the paradox of the One and the Many. They stem from what was perceived by classical (...) philosophy to be the fundamental enigma for thinking about the world: the seemingly contradictory results that followed from the co-incidence of being and non-being in the world of change and motion as we experience it, and the experience of absolute existence here and now. The most clear expression of both stances can be found, again following classical thought, in the thinking of Heraclitus of Ephesus and Parmenides of Elea. The problem put forward by these paradoxes reduces for both Plato and Aristotle to the possibility of the existence of stable objects as a necessary condition for knowledge. Hence the primarily ontological nature of the solutions they proposed: Plato’s Theory of Forms and Aristotle’s metaphysics and logic. Plato’s and Aristotle’s systems are argued here to do on the ontological level essentially the same: to introduce stability in the world by introducing the notion of a separable, stable object, for which a ‘principle of contradiction’ is valid: an object cannot be and not-be at the same place at the same time. So it becomes possible to forbid contradiction on an epistemological level, and thus to guarantee the certainty of knowledge that seemed to be threatened before. After leaving Aristotelian metaphysics, early modern science had to cope with these problems: it did so by introducing “space” as the seat of stability, and “time” as the theater of motion. But the ontological structure present in this solution remained the same. Therefore the fundamental notion ‘separable system’, related to the notions observation and measurement, themselves related to the modern concepts of space and time, appears to be intrinsically problematic, because it is inextricably connected to classical logic on the ontological level. We see therefore the problems dealt with by quantum logic not as merely formal, and the problem of ‘non-locality’ as related to it, indicating the need to re-think the notions system, entity, as well as the implications of the operation ‘measurement’, which is seen here as an application of classical logic (including its ontological consequences) on the material world. (shrink)

Compassionate conservation is an ethical framework proposed to instill greater compassion for individual animals in conservation science and practice. In addition to highlighting compassion as a virtue, compassionate conservationists propose four ethical principles (first do no harm, individuals matter, inclusivity, and peaceful coexistence) to capture what it means to act compassionately in conservation. In this paper I argue for a revision of this framework. I begin by showing how compassionate conservationists also implicitly promote the virtue of respect, which better accounts (...) for the principles individuals matter and inclusivity, yet entails a further principle: respect for autonomy. I further suggest that, to reflect genuine compassion for wild animals, the principles first, do no harm and peaceful coexistence should be replaced by empathy, understanding, and minimize harm. In the second half of the paper, I discuss the implications of this revised framework. I argue that, due to the prevalence of suffering even in well-conserved ecosystems, compassion and respect motivate a more active management of natural environments in order to reduce the harms (natural and anthropogenic) that wild animals face. This reveals a greater need for discussions on how to balance the flourishing of wild animals against the preservation of biodiversity, as well as a need to identify new approaches to conservation which better promote both ends. (shrink)

Isaac Newton, in popular imagination the Ur-scientist, was an outstanding humanist scholar. His researches on, among others, ancient philosophy, are thorough and appear to be connected to and fit within his larger philosophical and theological agenda. It is therefore relevant to take a closer look at Newton’s intellectual choices, at how and why precisely he would occupy himself with specific text-sources, and how this interest fits into the larger picture of his scientific and intellectual endeavours. In what follows, we shall (...) follow Newton into his study and look over his shoulder while reading compendia and original source-texts in his personal library at Cambridge, meticulously investigating and comparing fragments and commentaries, and carefully keeping track in private notes of how they support his own developing ideas. Indeed, Newton was convinced that precursors to his own insights and discoveries were present already in Antiquity, even before the Greeks, in ancient Egypt, and he puts a lot of time and effort into making the point, especially, and not incidentially, in the period between the first and the second edition of the Principia. A clear understanding of his reading of the classic sources therefore matters to our understanding of its content and gestation process. In what follows we will confine ourselves to the classical legacy, and investigate Newton’s intellectual intercourse with it. (shrink)

In de hiernavolgende bijdrage zal het erom gaan te pogen een ander licht te werpen op de globalisering der wereldeconomie die onze planeet sinds enkele decennia teistert. In de theoretische aandacht die deze historische ontwikkeling te beurt viel gedurende de tweede helft van de voorbije eeuw, werd het verband met zowel de ‘economisering’ als de ‘technologisering’ van onze leefwereld zoals geduid in de marxistische en techniekphilosophische critiek centraal gesteld; zij werd tevens gesitueerd in de context van “de postmoderne conditie” in (...) den zin van Lyotard2. Ook de rationaliteitscrisis tout court die hiermee samenhangt beschouw ik als een uitgangspunt, hoewel men over haar aard en oorzaken van mening kan verschillen. De oorspronkelijkheid van deze bijdrage zal dan ook niet te vinden zijn in de bespreking van een der bovenvermelde punten, maar in een ander begrip van de betrekkingen tussen de totaliteit van dit proces en de in onze gewaarwordingen gegeven, ‘natuurlijke’ werkelijkheid. (shrink)

Scholarly debates on the Critique of Pure Reason have largely been shaped by epistemological questions. Challenging this prevailing trend, Kant's Reform of Metaphysics is the first book-length study to interpret Kant's Critique in view of his efforts to turn Christian Wolff's highly influential metaphysics into a science. Karin de Boer situates Kant's pivotal work in the context of eighteenth-century German philosophy, traces the development of Kant's conception of critique, and offers fresh and in-depth analyses of key parts of the (...) Critique of Pure Reason, including the Transcendental Deduction, the Schematism Chapter, the Appendix to the Transcendental Analytic, and the Architectonic. The book not only brings out the coherence of Kant's project, but also reconstructs the outline of the 'system of pure reason' for which the Critique was to pave the way, but that never saw the light. (shrink)

The article summarises in an accessible way the (lack of) debate in France between different economic schools — the hegemonic neoclassical school with its positivist pretenses versus more historical schools of a Marxist or Keynesian orientation.

"Thinking about thinking", the topic of this section of our volume, leads us into an Escherian web of self-referential interconnections — which nevertheless make sense, at least if we do not shy away at once in the face of paradox, for fear of inconsistency. How do our critical faculties enter the picture? Adding a few conceptual dimensions to the merely linearly causal one may help us to shed light on the issue, and may help us also to understand some of (...) the basic strategies "Western" thought has developed throughout its historical pathway in its conscious dealings with the 'real'. Of course, in a few pages it is impossible to do justice to this complicated subject. But I'll try to give the reader an as clear as possible description of the, in my view, crucial issues, pointing out the ways they resonate into the many fields of interest represented in the intended readership, and leave it to the reader to dig deeper through the given references. (shrink)

Book review: Emmanuel Todd, "Où en sommes-nous? Une esquisse de l'histoire humaine" (Seuil, 2017).

In their recent work, L. Graham and J.-M. Kantor discuss a remarkable connection between diverging conceptions of the mathematical infinite in Russia and France at the beginning of the twentieth century and the religious convictions of their respective authors. They expand much more on the Russian side of the cultural equation they propose; I do believe, however, that the French (or rather ‘West European’) side is more complex than it seems, and that digging deeper into it is worthwhile. In this (...) paper I shall therefore broaden the path laid out in Graham and Kantor’s work, by connecting two different strands of research concerning the origin of what I loosely call ‘formal’ ideas: firstly, the rich but complex relation between logic and rhetoric throughout European cultural history, and secondly, the impact of religious convictions on the formation of certain mathematical and scientific ideas during Renaissance and Early Modernity, especially but not exclusively in France. (shrink)

A concise introduction (in Dutch) to the work of Giorgio Agamben, from the perspective of the central question in his philosophy under what conditions community or society today are possible, not based on in the end always artbitrary principles of exclusion — be they historical, biological, ...

This article challenges the prevailing interpretations of Hegel's account of the concept "contradiction" in the Science of Logic by arguing that it is concerned with the principle of Hegel's method rather than with the classical law of non-contradiction. I first consider Hegel's Doctrine of Essence in view of Kant's discussion of the concepts of reflection in the first Critique. On this basis, I examine Hegel's account of the logical principles based on the concepts "identity," "opposition," and "contradiction." Finally, I point (...) out how the principle Hegel derives from the concept of contradiction actually informs his own method. (shrink)

Background: Exposomics, the study of the exposome, is flourishing, but the field is not well defined. The term “exposome” refers to all environmental influences and associated biological responses throughout the lifespan. However, this definition is very similar to that of the term “environment”—the external elements and conditions that surround and affect the life and development of an organism. Consequently, the exposome seems to be nothing more than a synonym for the environment, and exposomics a synonym for environmental research. As a (...) result, some have rebranded their “standard” environmental health research with the neologistic exposome term, whereas others ignore or seek to abandon the seemingly redundant concept of the exposome. -/- Objectives: We argue that exposomics needs to sharpen its mission focus to counteract this apparent redundancy. Exposomics should be defined as a research program in environmental health aimed at enabling a comprehensive and discovery-driven approach to identifying environmental determinants of human health. Similar to the aim of the Human Genome Project, exposomics aims to analyze the complete complexity of exposures and their corresponding biological responses. Exposomics’ primary premise is that the existence of undiscovered, potentially interconnected, nongenetic (environmental) risk factors for health necessitates a comprehensive discovery-driven analysis approach. -/- Discussion: We argue that exposomics researchers should adopt our reconceptualization of exposomics and focus on the productiveness and integrity of their research program: its purpose and principles. We suggest that exposomics researchers should coordinate the writing of reviews that assess the program’s productiveness and integrity, as well as provide a platform for exposomics researchers to define their vision for the field. (shrink)

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (shrink)

We seek to elucidate the philosophical context in which one of the most important conceptual transformations of modern mathematics took place, namely the so-called revolution in rigor in infinitesimal calculus and mathematical analysis. Some of the protagonists of the said revolution were Cauchy, Cantor, Dedekind,and Weierstrass. The dominant current of philosophy in Germany at the time was neo-Kantianism. Among its various currents, the Marburg school (Cohen, Natorp, Cassirer, and others) was the one most interested in matters scientific and mathematical. Our (...) main thesis is that Marburg neo-Kantian philosophy formulated a sophisticated position towards the problems raised by the concepts of limits and infinitesimals. The Marburg school neither clung to the traditional approach of logically and metaphysically dubious infinitesimals, nor whiggishly subscribed to the new orthodoxy of the “great triumvirate” of Cantor, Dedekind, and Weierstrass that declared infinitesimals conceptus nongrati in mathematical discourse. Rather, following Cohen’s lead, the Marburg philosophers sought to clarify Leibniz’s principle of continuity, and to exploit it in making sense of infinitesimals and related concepts. (shrink)

In the Critique of Pure Reason and elsewhere, Kant uses the term ‘object’ in various ways and often without clearly signaling its different meanings. As a result, it is hard to gauge the extent to which Kant’s account of the object of cognition breaks new ground. In this article, I take the Critique to establish what is required to generate an object of cognition per se soleley by examining the various ways in which the human mind can objectify the content (...) of its representations. To clarify this endeavor, I distinguish four different ways in which the term ‘object’ is used in the Critique, namely, to refer to (1) material things, (2) the content of any type of thought, (3) the mind-immanent correlate of a cognition in the broad sense of the term, and (4) the mind-immanent correlate of a cognition in the strict sense of the term. On my reading, the fourth meaning of the term ‘object’ is key to the Transcendental Deduction and completes Kant’s unprecedented conception of the cognitive acts by means of which the human mind produces objects of cognition out of a manifold of representations. (shrink)

In recent years, exposome research has been put forward as the next frontier for the study of human health and disease. Exposome research entails the analysis of the totality of environmental exposures and their corresponding biological responses within the human body. Increasingly, this is operationalized by big-data approaches to map the effects of internal as well as external exposures using smart sensors and multiomics technologies. However, the ethical implications of exposome research are still only rarely discussed in the literature. Therefore, (...) we conducted a systematic review of the academic literature regarding both the exposome and underlying research fields and approaches, to map the ethical aspects that are relevant to exposome research. We identify five ethical themes that are prominent in ethics discussions: the goals of exposome research, its standards, its tools, how it relates to study participants, and the consequences of its products. Furthermore, we provide a number of general principles for how future ethics research can best make use of our comprehensive overview of the ethical aspects of exposome research. Lastly, we highlight three aspects of exposome research that are most in need of ethical reflection: the actionability of its findings, the epidemiological or clinical norms applicable to exposome research, and the meaning and action–implications of bias. (shrink)

A number of theorists have argued that Scanlon's contractualist theory both "gets around" and "solves" the non-identity problem. They argue that it gets around the problem because hypothetical deliberation on general moral principles excludes the considerations that lead to the problem. They argue that it solves the problem because violating a contractualist moral principle in one's treatment of another wrongs that particular other, grounding a person-affecting moral claim. In this paper, I agree with the first claim but note that all (...) it shows is that the act is impersonally wrong. I then dispute the second claim. On Scanlon's contractualist view, one wrongs a particular other if one treats the other in a way that is unjustifiable to that other on reasons she could not reasonably reject. We should think of person-affecting wronging in terms of the reasons had by the actual agent and the actual person affected by the agent's action. In non-identity cases, interpersonal justifiability is therefore shaped both by the reason to reject the treatment provided by the bad suffered and the reason to affirm the treatment provided by the goods had as a result of existing. I argue it would be reasonable for the actual person to find the treatment justifiable, and so I conclude that Scanlon's contractualist metaethics does not provide a narrow person-affecting solution to the non-identity problem on its own terms. I conclude that the two claims represent a tension within Scanlon's contractualist theory itself. (shrink)

Collection of essays, literature and first-person accounts on death, dying and bereavement.

The present paper aims to trace back Kant’s account of the schematism of the pure understanding in the Critique of Pure Reason to the Dissertation. I do so by discussing Kant’s understanding of sensible cognition in view of his assessment of metaphysics. I argue, first, that Kant in both texts aims to defend metaphysics against skeptical attacks by discarding those of its elements he considers unwarranted and, second, that this undertaking hinges on his account of concepts that function as the (...) sensible condition of cognition. Yet whereas Kant argues in 1770 that metaphysics must be purely intellectual, he in 1781 draws on his earlier account of sensible concepts to argue, against the Wolffians, that determining intelligible objects by purely intellectual means does not amount to cognition proper. (shrink)

This chapter examines Hegel’s conception of philosophical critique in order to shed light on the force and limits of the method that has become known as immanent critique. At least in modern philosophy, it was Kant who first conceived of critique as a form of reflection that draws its criterion from reason itself. As I argue, Hegel is deeply indebted to Kant in this respect. The chapter begins with an analysis of Hegel's seminal essay ‘On the Essence of Philosophical Criticism (...) Generally, and its Relationship to the Present State of Philosophy in Particular’, published in 1802. After a brief discussion of the Phenomenology, I turn to his Philosophy of Right. These texts make clear, I argue, that the criterion from which immanent critique takes its bearings is necessarily tainted with a particularity that it cannot affirm without losing its force. According to this account, immanent critique comes to refer to a form of reflection that is more complicated and more precarious than Kant and Hegel seem to have assumed. (shrink)

In this paper we argue that there is a large class of expressions, typified by ‘plastic flower’, ‘stuffed animal’ and ‘kosher bacon’, that have a unique semantics combining compositional, idiomatic and decompositional interpretation. These expressions are compositional because their constituents contribute their meanings to the meanings of the wholes; they are idiomatic because their interpretation involves assigning dictionary entries to non-terminal elements in their syntactic structure; and they are decompositional because their meanings have proper parts that are not the meanings (...) of any of their syntactic constituents. We argue that extensionalist semantics, on which the meaning of an expression is a function from domains to extensions in those domains, cannot provide an adequate account of the semantics of these expressions, and that supplementation with a theory of pragmatic interpretation does not improve the situation. We show how our account explains the intensionality and the productivity of these expressions. (shrink)

A single-blind experiment was conducted on free-responsive spatially non-local perception of free-selective simple photographic targets. One author (the tasker) chose a photographic target not subjected to a priori compiling, and the other author (the perceiver) attempted to unconventionally perceive the target. Feedback was expected prior to a new target being selected. A hundred trials were completed over 11 months. Thirteen judges offered gradings that collectively projected an apparent information requisition yield (AIRY). The AIRY refers to two aspects of the matching (...) of a taskette (a target’s counterpart) with respect to the target based on fuzzy scales from 0% to 100%, graded with an increment of 10%. The type-I or “tangibility” aspect of matching assessed the extent of the resemblance of a taskette to the target in terms of the shape or structural details of the primary physical entity/event. The type-II or “intangibility” aspect of the matching assessed the degree of the reconstruction of a taskette to the target in terms of the feature or functionality of the predominant physical entity/event. A total of 6 taskettes received >50% grades in both type-I and type-II aspects of matching with their respective targets. This outcome may correspond to an effect size of 1.47 if the chance-expectation may give a benchmark proportion of 3 out of 100 trials producing >50% grades in both type-I and type-II aspects of matching. Patterns indicating target interference associated with two trials entail further investigation. The approaches offer new insights to quantifying the band-limited information throughputs of spatially non-local perception. (shrink)

Quasi-Nelson logic (QNL) was recently introduced as a common generalisation of intuitionistic logic and Nelson's constructive logic with strong negation. Viewed as a substructural logic, QNL is the axiomatic extension of the Full Lambek Calculus with Exchange and Weakening by the Nelson axiom, and its algebraic counterpart is a variety of residuated lattices called quasi-Nelson algebras. Nelson's logic, in turn, may be obtained as the axiomatic extension of QNL by the double negation (or involutivity) axiom, and intuitionistic logic as the (...) extension of QNL by the contraction axiom. A recent series of papers by the author and collaborators initiated the study of fragments of QNL, which correspond to subreducts of quasi-Nelson algebras. In the present paper we focus on fragments that contain the connectives forming a residuated pair (the monoid conjunction and the so-called strong Nelson implication), these being the most interesting ones from a substructural logic perspective. We provide quasi-equational (whenever possible, equational) axiomatisations for the corresponding classes of algebras, obtain twist representations for them, study their congruence properties and take a look at a few notable subvarieties. Our results specialise to the involutive case, yielding characterisations of the corresponding fragments of Nelson's logic and their algebraic counterparts. (shrink)

Felix Klein and Abraham Fraenkel each formulated a criterion for a theory of infinitesimals to be successful, in terms of the feasibility of implementation of the Mean Value Theorem. We explore the evolution of the idea over the past century, and the role of Abraham Robinson's framework therein.

Purpose This paper aims to formalize long-term trajectories of human civilization as a scientific and ethical field of study. The long-term trajectory of human civilization can be defined as the path that human civilization takes during the entire future time period in which human civilization could continue to exist. -/- Design/methodology/approach This paper focuses on four types of trajectories: status quo trajectories, in which human civilization persists in a state broadly similar to its current state into the distant future; catastrophe (...) trajectories, in which one or more events cause significant harm to human civilization; technological transformation trajectories, in which radical technological breakthroughs put human civilization on a fundamentally different course; and astronomical trajectories, in which human civilization expands beyond its home planet and into the accessible portions of the cosmos. -/- Findings Status quo trajectories appear unlikely to persist into the distant future, especially in light of long-term astronomical processes. Several catastrophe, technological transformation and astronomical trajectories appear possible. -/- Originality/value Some current actions may be able to affect the long-term trajectory. Whether these actions should be pursued depends on a mix of empirical and ethical factors. For some ethical frameworks, these actions may be especially important to pursue. (shrink)

This record describes the occurrence of conflicts between stingless bees of an active colony of Scaptotrigona bipunctata (Lepeletier) and individuals of Melipona quadrifasciata (Lepeletier), and discusses possible hypotheses that motivated the attack. Behaviors were observed in an active colony of S. bipunctata. The active nest guards detained individuals of M. quadrifasciata who invaded the colony. The chances of misidentification of the colony entrance and error in the species possible aggregation were discarded, however, the hypothesis of the real invasion recorded in (...) this study demonstrates a behavioral strategy by M. quadrifasciata suggests that there is an energy savings if successful in looting. (shrink)

The paper argues that God does not act but is creative activity, which helps to overcome evil by the possibilities of the good that it opens up for creatures in the face of evil.

Introduction: The Faculty of Medicine, University of Moratuwa, established during the COVID-19 pandemic, was compelled to conduct the teaching activities online for the first intake of students until their first bar examination. Online learning is known to be linked to several health issues. This study aims to explore the academic performance and perceived health effects related to online learning in the Faculty of Medicine, Moratuwa. Methods: A descriptive cross-sectional study was conducted among all 104 first-intake students using an anonymous online (...) self-administered questionnaire to explore health effects and academic performance after ethical clearance. Results: Out of 104 students, 82 students responded (response rate=78.85%). Majority participated from home using their own laptop (74.4%) and personal Wi-Fi (69.5%) and spent 5-10 hours daily for online academic activities (72%). Majority complained of related physical (86.6%), and psychological (81.7%) health issues: eye problems (69.5%), headache (47.6%), backache (43.9%), stress (46.3%) and concentration difficulties (45.1%). The first bar examination was cleared by 84.1% with the majority (52.4%) obtaining classes. There was a statistically significant positive association (p< .05) between physical and psychological health concerns with the average screen-time spent on academic activities, but not with the academic performance. There was also no statistically significant association between screen-time and academic performance. Conclusions: Majority of students using online learning had related physical and psychological health issues which were positively associated with the screen-time though not with academic performance. Designing online activities with less screen time may be considered as a strategy to minimise health effects related to online learning. (shrink)

Exposome research is put forward as a major tool for solving the nature-versus-nurture debate because the exposome is said to represent “the nature of nurture.” Against this influential idea, we argue that the adoption of the nature-versus-nurture debate into the exposome research program is a mistake that needs to be undone to allow for a proper bioethical assessment of exposome research. We first argue that this adoption is originally based on an equivocation between the traditional nature-versus-nurture debate and a debate (...) about disease prediction/etiology. Second, due to this mistake, exposome research is pushed to adopt a limited conception of agential control that is harmful to one's thinking about the good that exposome research can do for human health and wellbeing. To fully excise the nature-versus-nurture debate from exposome research, we argue that exposome researchers and bioethicists need to think about the exposome afresh from the perspective of actionability. We define the concept of actionability and related concepts and show how these can be used to analyze the ethical aspects of the exposome. In particular, we focus on refuting the popular “gun analogy” in exposome research, returning results to study participants and risk-taking in the context of a well-lived life. (shrink)

Artificial intelligence has arrived. In the online world it is already a part of everyday life, sitting invisibly behind a wide range of search engines and online commerce sites. It offers huge potential to enable more efficient and effective business and government but the use of artificial intelligence brings with it important questions about governance, accountability and ethics. Realising the full potential of artificial intelligence and avoiding possible adverse consequences requires societies to find satisfactory answers to these questions. This report (...) sets out some possible approaches, and describes some of the ways government is already engaging with these issues. (shrink)

The term falak applies to any round quantity of a globular body or surface or of the surface (area) of the circumfrance of a circale,' the body surrounding the world, which turns about the centre(viz.' of Earth) is called in particular falak, and this falak is divided into many parts, but first and foremost into seven parts, which are sphereical bodies(i.e shalls) contiguous with one another in such a way that each one of them surrounds the next one, the concave (...) surface of the surrounding (spherical shell) touching the convex surface of the one surrounded by it. The centre of all these spheres is the centre of the world, and each one of them individually is called, "falak". (shrink)

Islamic Law & it's purpose to give directions to human life.

Teaching in- effectiveness of most mathematics teachers has been attributed a negative attitude of the teachers and their inability to utilize modern ICT facilities in the teaching of the subject. The study was on the influence of teachers’ attitude towards ICT variables, the utilization of ICT facilities and the teaching effectiveness of mathematics teachers in public senior secondary schools in Cross River State. Two hypotheses were drawn from the stated research questions built around the dependent and independent variables. Literature review (...) was carried out according to the variables in the study. A survey design was adopted based on the descriptive nature of the study, while the random sampling technique was used. Two sets of structured questionnaires, titled; ‘Teacher Effectiveness Questionnaire’ (TEQ) and ‘ICT Evaluation Test Questionnaire’ (ICTETQ) were designed to obtain data from respondents. Data collected were analysed using the t-test statistic for the first hypothesis and Analysis of Variance (ANOVA) statistic for the last hypothesis. The hypotheses were tested at .05 levels of significance. The results of the findings were as follows: There is no significant influence of mathematics teachers’ attitude towards ICT facilities and their teaching effectiveness in public senior secondary schools in Cross River State; facilities utilization has no significant influence on mathematics teachers’ effectiveness in public senior secondary schools in Cross River State. Based on the findings, it was recommended among other things that basic training and other facilities like electricity be made available in schools to stimulate a positive attitude in Mathematics teachers and to able them (mathematics teachers), utilize the available ICT facilities and others facilities that should be provided in schools while at the same time teachers’ attitude should be channelled in the direction of imbibing and integrating ICTs into teaching so as to ensure an effective mathematics teaching in public senior secondary schools in Cross River State. (shrink)